Visual Description of Hybrid Systems

The design of hybrid systems usually involves engineers from a number of di erent engineering disciplines Hence speci cation techniques are needed that can intuitively be understood by people from all these engineering communities Furthermore a formal foundation for these techniques in necessary to prohibit ambiguities which may be fatal in the safety critical environment of many hybrid systems In this paper we present an example development scenario in order to demonstrate the use of HyCharts a formalism that satis es both these needs The semantic foundation of HyCharts is outlined brie y